Quantum geometry of Boolean algebras and de Morgan duality
نویسندگان
چکیده
We take a fresh look at the geometrization of logic using recently developed tools “quantum Riemannian geometry” applied in digital case over field $\mathbb{F}\_2={0,1}$, extending de Morgan duality to this context differential forms and connections. The $1$-forms correspond graphs exterior derivative subset amounts arrows that cross between set its complement. line graph $0-1-2$ has non-flat but Ricci flat quantum geometry. previously known four geometries on triangle graph, which one is curved, are revisited terms left-invariant differentials, as dual Hopf algebra, group algebra $\mathbb{Z}\_3$. For square, we find moduli geometries, all flat, while for an $n$-gon with $n>4$ unique one, again flat. also propose extension general algebras differentials $\mathbb{F}\_2$.
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملA Characterization of De Morgan Algebras
In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...
متن کاملINVOLUTIVE STONE ALGEBRAS AND REGULAR a-DE MORGAN ALGEBRAS
A piggyback duality and a translation process between this one and a Priestley duality for each subvariety of involutive Stone algebras and regular o-De Morgan algebras is presented. As a consequence we describe free algebras and the prime spectrum of each subvariety.
متن کاملCongruence Coherent Symmetric Extended de Morgan Algebras
An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Noncommutative Geometry
سال: 2023
ISSN: ['1661-6960', '1661-6952']
DOI: https://doi.org/10.4171/jncg/460